On benefits and drawbacks of aging strategies for randomized search heuristicsJANSEN, Thomas; ZARGES, Christine.Theoretical computer science. 2011, Vol 412, Num 6, pp 543-559, issn 0304-3975, 17 p.Article

On the computational complexity of behavioral description-based web service compositionWONHONG NAM; HYUNYOUNG KIL; DONGWON LEE et al.Theoretical computer science. 2011, Vol 412, Num 48, pp 6736-6749, issn 0304-3975, 14 p.Article

Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithmJAICAR, Petr.Information and computation (Print). 2008, Vol 206, Num 11, pp 1259-1263, issn 0890-5401, 5 p.Article

When not losing is better than winning : Abstraction and refinement for the full μ-calculusGRUMBERG, Orna; LANGE, Martin; LEUCKER, Martin et al.Information and computation (Print). 2007, Vol 205, Num 8, pp 1130-1148, issn 0890-5401, 19 p.Article

A note on improving the performance of approximation algorithms for radiation therapyBIEDL, Therese; DUROCHER, Stephane; HOOS, Holger H et al.Information processing letters. 2011, Vol 111, Num 7, pp 326-333, issn 0020-0190, 8 p.Article

Forbidden induced subgraphs for star-free graphsFUJISAWA, Jun; OTA, Katsuhiro; OZEKI, Yenta et al.Discrete mathematics. 2011, Vol 311, Num 21, pp 2475-2484, issn 0012-365X, 10 p.Article

Nondominated local coteries for resource allocation in grids and cloudsJIANG, Jehn-Ruey.Information processing letters. 2011, Vol 111, Num 8, pp 379-384, issn 0020-0190, 6 p.Article

The Mathematics of Atmospheric Dispersion ModelingSTOCKIE, John M.SIAM review (Print). 2011, Vol 53, Num 2, pp 349-372, issn 0036-1445, 24 p.Article

Verification of reactive systems via instantiation of Parameterised Boolean Equation SystemsPLOEGER, B; WESSELINK, J. W; WILLEMSE, T. A. C et al.Information and computation (Print). 2011, Vol 209, Num 4, pp 637-663, issn 0890-5401, 27 p.Article

Ant Colony Optimization and the minimum spanning tree problemNEUMANN, Frank; WITT, Carsten.Theoretical computer science. 2010, Vol 411, Num 25, pp 2406-2413, issn 0304-3975, 8 p.Article

Balancing modular transfer lines with serial-parallel activation of spindle heads at stationsDOLGUI, A; IHNATSENKA, I.Discrete applied mathematics. 2009, Vol 157, Num 1, pp 68-89, issn 0166-218X, 22 p.Article

Collapsing words, permutation conditions and coherent colorings of treesCHERUBINI, A; KISIELEWICZ, A.Theoretical computer science. 2009, Vol 410, Num 21-23, pp 2135-2147, issn 0304-3975, 13 p.Article

Elastic threshold-based admission control for QoS satisfaction with reward optimization for servicing multiple priority classes in wireless networksYILMAZ, Okan; CHEN, Ing-Ray.Information processing letters. 2009, Vol 109, Num 15, pp 868-875, issn 0020-0190, 8 p.Article

NARROW PROOFS MAY BE SPACIOUS: SEPARATING SPACE AND WIDTH IN RESOLUTIONNORDSTRÖM, Jakob.SIAM journal on computing (Print). 2009, Vol 39, Num 1, pp 59-121, issn 0097-5397, 63 p.Article

Center location problems on tree graphs with subtree-shaped customersPUERTO, J; TAMIR, A; MESA, J. A et al.Discrete applied mathematics. 2008, Vol 156, Num 15, pp 2890-2910, issn 0166-218X, 21 p.Article

Node-searching problem on block graphsCHOU, Hsin-Hung; KO, Ming-Tat; HO, Chin-Wen et al.Discrete applied mathematics. 2008, Vol 156, Num 1, pp 55-75, issn 0166-218X, 21 p.Article

Tree exploration with adviceFRAIGNIAUD, Pierre; ILCINKAS, David; PELC, Andrzej et al.Information and computation (Print). 2008, Vol 206, Num 11, pp 1276-1287, issn 0890-5401, 12 p.Article

A semidefinite programming-based heuristic for graph coloringDUKANOVIC, Igor; RENDL, Franz.Discrete applied mathematics. 2008, Vol 156, Num 2, pp 180-189, issn 0166-218X, 10 p.Article

Classification of bipartite boolean constraint satisfaction through delta-matroid intersectionFEDER, Tomas; FORD, Daniel.SIAM journal on discrete mathematics (Print). 2007, Vol 20, Num 2, pp 372-394, issn 0895-4801, 23 p.Article

Integral trees of diameter 6LIGONG WANG; BROERSMA, Hajo; HOEDE, Cornelis et al.Discrete applied mathematics. 2007, Vol 155, Num 10, pp 1254-1266, issn 0166-218X, 13 p.Article

The delay of circuits whose inputs have specified arrival timesRAUTENBACH, Dieter; SZEGEDY, Christian; WERBER, Jürgen et al.Discrete applied mathematics. 2007, Vol 155, Num 10, pp 1233-1243, issn 0166-218X, 11 p.Article

Tree-edges deletion problems with bounded diameter obstruction setsTSUR, Dekel.Discrete applied mathematics. 2007, Vol 155, Num 10, pp 1275-1293, issn 0166-218X, 19 p.Article

Algorithms for solving multiobjective discrete control problems and dynamic C-games on networksLOZOVANU, Dmitrii; PICKL, Stefan.Discrete applied mathematics. 2007, Vol 155, Num 14, pp 1846-1857, issn 0166-218X, 12 p.Conference Paper

A derivative-free filter method for solving nonlinear complementarity problemsNIE, Pu-Yan; FAN, Jin-Yan.Applied mathematics and computation. 2005, Vol 161, Num 3, pp 787-797, issn 0096-3003, 11 p.Article

Conjugate gradient predictor corrector method for solving large scale problemsSYAM, Muhammed I.Mathematics of computation. 2005, Vol 74, Num 250, pp 805-818, issn 0025-5718, 14 p.Article